post condition

un. 后置条件
[网络] 后续条件;方法的后置条件